Description Logics based Formalization of Wh-Queries

نویسندگان

  • Sourish Dasgupta
  • Rupali KaPatel
  • Ankur Padia
  • Kushal Shah
چکیده

The problem of Natural Language Query Formalization (NLQF) is to translate a given user query in natural language (NL) into a formal language ( ) so that the semantic interpretation has equivalence with the NL interpretation. Formalization of NL queries enables logic based reasoning during information retrieval, database query, question-answering, etc. Formalization also helps in Web query normalization and indexing, query intent analysis, etc. In this paper we are proposing a Description Logics based formal methodology for wh-query intent (also called desire) identification and corresponding formal translation. We evaluated the scalability of our proposed formalism using Microsoft Encarta 98 query dataset and OWL-S TC v.4.0 dataset.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis

We devise a general framework for formalizing Dynamic Systems centered around a Description Logic knowledge base. Our framework is parametric w.r.t. both the description logic and the progression mechanism. For such kinds of systems, we provide general decidability results for verification and adversarial synthesis of first-order μ-calculus properties under a natural assumption which we call “s...

متن کامل

Classic planning for mobile robots

The paper describes an approach to reasoning about actions and plan generation within the framework of description logics Our proposal is considered classic since it is in the style of deductive planning and it relies upon the reasoning capabilities of description logics that are realized in the system Classic From an epistemological point of view our approach is based on the formalization of a...

متن کامل

Analysis of Semantic Networks By Means of Description Logics

The formalization of heterogeneous semantic networks by means of description logics (DL) is considered in this paper. DL is extended by the addition of some new relations from heterogeneous semantic networks.

متن کامل

Moving a Robot: The KR&R Approach at Work

The paper describes an approach to reason ing about actions and plan generation within the framework of description logics From an epistemological viewpoint our approach is based on the formalization of actions given by dynamic logics but we exploit their corre spondence with description logics to turn the formalization into an actual implementation In particular we are able to carefully weaken...

متن کامل

Moving a Robot : The KR & R Approach

The paper describes an approach to reasoning about actions and plan generation within the framework of description logics. From an epistemological viewpoint, our approach is based on the formalization of actions given by dynamic logics, but we exploit their correspondence with description logics to turn the formalization into an actual implementation. In particular, we are able to carefully wea...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1312.6948  شماره 

صفحات  -

تاریخ انتشار 2013